measure space #measure_theory Definition A measurable space equipped with a measure. References https://ncatlab.org/nlab/show/measure+space